Undergraduate Honors Thesis: Testing a library of general-purpose action descriptions
نویسندگان
چکیده
Reasoning about actions and describing changes caused by the execution of these actions is an idea central to common sense reasoning. Action description languages have been developed to specify the effects and preconditions of actions using a logical framework. However, many of these formalisms suffer from a lack of generality and modularity [McCarthy, 1987]. A new Modular Action Description language (MAD) [Lifschitz & Ren, 2006] and a library of general purpose action descriptions [Erdogan, unpublished] written in MAD are being designed to solve these problems. This thesis is the first step towards testing the semantics of MAD and the ability of this library to succinctly and expediently describe new action domains.
منابع مشابه
The Role of Libraries in Honors Thesis Research: a Library Credit Course as a Model for Thesis Research Support
Libraries exist to serve both the research and instructional missions of their institutions. Supporting the thesis experience of an honors program represents the perfect convergence of these dual mlSSlOns. The pedagogical mandate for the honors thesis experience is found in the 1998 Boyer Commission Report, Reinventing Undergraduate Education, which calls for undergraduate research experiences ...
متن کاملProsody and Voices Characteristics of Children with Cochlear Implants
Implants. I have reviewed this completed senior honors thesis with this student and certify that it is a project commensurate with hon level undergraduate research in this field. Approval _X_ I have reviewed this completed senior honors project with this student and certify that it is complete and commensurate with honors level undergraduate research in the field. _X_ Based on its academic meri...
متن کاملA REVIEW OF THE BENEFITS AND APPLICATIONS OF THE THORIUM FUEL CYCLE An Undergraduate Honors College Thesis
متن کامل